Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
31	ZU064-05-FPR polymorphic-eff 24 May 2016 Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-05-23 23:05:40 Symbol Substitution Monad Denotational semantics Variable
32	Reprinted from the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters Jan Midtgaard Norman Ramsey Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2014-07-24 14:58:46 Computing Software engineering Software Greek letters Denotational semantics Logic in computer science Lua Normal distribution San String
33	Certified Symbolic Management of Financial Multi-party Contracts ∗ Jost Berthold Patrick Bahr Department of Computer Science, Add to Reading List Source URL: hiperfit.dk Language: English Theoretical computer science Logic Mathematical logic Denotational semantics Logic in computer science Symbol Substitution
34	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form
35	c Cambridge University Press 2009 JFP: page 1 of 24. 1 doi:S0956796809990219 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-10-12 08:32:22 Logic in computer science Programming language semantics Models of computation Computability theory Logic programming Substitution Operational semantics Denotational semantics Lambda calculus Structure
36	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
37	MFPSAbstract interpretation from a denotational-semantics perspective David A. Schmidt Computing and Information Sciences Dept. Add to Reading List Source URL: santos.cis.ksu.edu Language: English - Date: 2009-03-23 13:54:48
38	The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:46 Theoretical computer science Logic in computer science Software engineering Formal methods Models of computation Parallel computing Programming language semantics Denotational semantics Abstract interpretation Semantics Astre
39	Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:44:01 Operator theory Theoretical computer science Measure theory Mathematics Analysis Denotational semantics Logic in computer science Hermitian adjoint Support Expected value Abstract interpretation Adjoint functors
40	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP